一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

MUOS网络管理与控制技术的研究

介绍了美军移动用户目标系统MUOS(Mobile User Objective System),分析和总结了该系统下网络管理体系结构和运行机制,并就其实现中的关键技术进行了深入研究,得到了一些对我国有借鉴意义的结论。     

和谐思维与部队思想政治教育职能优化

军队思想政治教育要适应和谐社会的要求,一方面深化调节,注重满足军人自身发展的需要,引导官兵建立与和谐社会相融合的人际关系;另一方面,运用“和”的思想解决矛盾和问题,达到对官兵负面思想的有效控制。     

建筑工程消防验收定量评定方法研究

依据中华人民共和国公安部印发的《建筑工程消防验收评定暂行办法》,建立了建筑工程消防验收系统。依据层次分析法对分级系统中各指标层,利用专家打分法确定其权重,设定不同的等级,确定不同等级下的权重系数,从而计算出建筑工程消防验收定量评定的标准。     

网络中心战条件下的导弹作战模拟研究

从网络中心战的概念入手,分析了网络中心战条件下导弹作战的概念;从导弹作战系统入手,结合网络中心作战样式,分析了网络中心战条件下导弹作战系统内部结构;从系统动力学基本原理出发,结合导弹作战的概念和结构,建立了网络中心战条件下导弹作战的系统动力学模型;从作战想定出发,突出战场制信息权的重要性,制定了作战对策,形成了导弹作战对策的结论;最后提出了加强我军导弹部队信息化建设的建议.     

基于高精度WCNS格式的γ-Reθ转捩模型标定与应用*

在高精度数值风洞平台上,采用低速平板试验数据对基于高精度WCNS格式的γ-Re_θ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明,基于高精度WCNS格式的γ-Re_θ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性。同时也表明在中等雷诺数范围,层流区域长度和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。     

关于对“城市火灾风险与灭火救援力量”评估的探讨

加强政府对消防工作的科学决策，编制“城市火灾风险与灭火救援力量”方案是落实科学发展观的具体举措。围绕进一步规范“城市火灾风险与灭火救援力量”的评估工作，从火灾形势、消防力量、公共消防设施建设、消防工作社会化、公民消防素质教育等方面提出开展评估的具体办法，并从机构设定、评估定位、工作原则和程序等方面就公共消防安全评估机制建设提出建议。     

装备故障诊断和预测技术综述

结合故障诊断与预测技术的国内外研究现状,综述了故障诊断和预测的完整性认知模型,并以此对蓬勃发展的故障诊断和故障预测技术进行了分类与综合分析。同时针对故障的不确定性特征,对故障诊断和预测技术的性能要求、定量评价与验证方法进行了分析。最后,分别从实际应用及扩展的四个方面提出了故障诊断、预测,以及PHM技术未来发展的几个问题。     

空间目标RCS序列的R/S分析

RCS包含了目标丰富的信息.分析了空间目标RCS序列产生混沌的机理,并非线性理论中的功率谱法引入空间目标RCS序列的分析中,用重整标度分析法(R/S)分析了空间目标RCS序列的混沌特性,仿真结果表明,与旋转目标相比,三轴稳定目标RCS序列较复杂和不规则,这与实际分析的情况相符合,证明了该方法的有效性.     

Warranty claims modeling

A company wishes to estimate or predict its financial exposure in a reporting period of length T (typically one quarter) because of warranty claims. We propose a fairly general random measure model which allows computation of the Laplace transform of the total claim made against the company in the reporting interval due to warranty claims. When specialized to a Poisson process of both sales and warranty claims, statistical estimation of relevant quantities is possible. The methodology is illustrated by analyzing automobile sales and warranty claims data from a large car manufacturer for a single car model and model year. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008